COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	APPENDIX D 			      HEURISTIC PROGRAMMING PROJECT MEMOS
C00052 ENDMK
C⊗;
APPENDIX D 			      HEURISTIC PROGRAMMING PROJECT MEMOS

There are six informal groups within the Heuristic Programming Project.

	(1) Knowledge-Based Consultation Systems (MYCIN) 
	(2) MOLGEN 
	(3) Protein-Crystallography 
	(4) Hydroid 
	(5) DENDRAL 
	(6) Meta-DENDRAL

HPP-64-1, J. Lederberg, "DENDRAL-64-A System for Computer Construction,
Enumeration and Notation of Organic Molecules as Three Structures and
Cyclic Graphs" (technical reports to NASA, also available from the author
and summarized in HPP-68-1).

HPP-64-2, J. Ledergerg, "Computation of Molecular Formulas for Mass
Spectrometry", Holden-Day Incorporated, 1964.

HPP-65-1 (NASA CR-48899), J. Lederberg, "Topological Mapping of Organic
Molecules", 1965, Proceedings of the National Academy of Science, 53 1,
134, January.

HPP-65-2, J. Lederberg, "Systematics of Organic Molecules, Graph Topology
and Hamilton Circuits.  General outline of the DENDRAL system."  April
1965.

HPP-65-3 (AIM-30, AD785056), Edward A. Feigenbaum and Richard W. Watson,
"An Initial Problem Statement for a Machine Induction Research Project"
(working paper), April 1965.

HPP-66-1 (AIM-38, AD785066), Donald A. Waterman, "A Filter for a Machine
Induction System" (working paper), January 1966.

HPP-66-2 (STAN-CS-66-50, AIM-46, PB176761), Staffan Persson, "Some
Sequence Extrapolating Programs: a study of representation and modeling in
inquiring systems", Ph.D. Thesis in Computer Science, (U.C. Berkeley,
September 1966).

HPP-66-3 (AIM-47), Bruce Buchanan, "Logics of Scientific Discovery", Ph.D.
Thesis in Philosophy (Michigan State University, December 1966).

HPP-67-1 (AIM-49), Georgia Sutherland, "DENDRAL - a Computer Program for
Generating and Filtering Chemical Structures" (working paper), February
1967.

HPP-67-2, J. Lederberg, "Hamilton Circuits of Convex Trivalent Polyhedra
(up to 18 vertices)", American Mathematics Monthly, 74, 5, May 1967.

HPP-67-3 (AIM-54), Joshua Lederberg and Edward A. Feigenbaum,
"Mechanization of Inductive Inference in Organic Chemistry", in B.
Kleinmuntz (ed.), Formal Representations for Human Judgment, New
York:Wiley, 1968.

HPP-68-1, Edward Feigenbaum, Georgia Sutherland and Bruce Buchanan,
"Heuristic DENDRAL: A Program for Generating Explantory Hypothesis in
Organic Chemistry", in B.K. Kinariwala and F.F. Kuo (eds.), Proceedings of
the Hawaii International Conference on System Sciences, January 1968,
University of Hawaii Press, 1968.

HPP-68-2, J. Lederberg, "Online Computation of Molecular Formulas from
Mass Number", NASA CR-94977, 1968.

HPP-68-3 (AIM-62), Bruce G. Buchanan, Georgia Sutherlnd and Edward A.
Feigenbaum, "Heuristic DENDRAL: A Program for Generating Explantory
Hypotheses in Organic Chemistry", in B. Melzer and D. Michie (eds.),
Machine Intelligence 4, Edinburgh:Edinburgh University Press, 1969.

HPP-68-4 (AIM-67, AD680487), Edward A. Feigenbaum, "Artificial
Intelligence:  Themes in the Second Decade", in Final Supplement to
Proceedings of IFIP-68 International Congress, Edinburgh, August 1968.

HPP-68-5 (AIM-74, STAN-CS-68-118, AD681027), Donald Waterman, "Machine
Learning of Heuristics", Ph.D. Thesis in Computer Science (Stanford
University, December 1968).

HPP-69-1 (AIM-80, AD685612), Georgia Sutherland, "Heuristic DENDRAL: a
Family of LISP Programs" (working paper), March 1969.

HPP-69-2 (AIM-99), Bruce G. Buchanan, G.L. Sutherland and E.A. Feigenbaum,
"Toward an Understanding of Information Processes of Scientific Inference
in the Context of Organic Chemistry", in B. Meltzer and D. Michie (eds.),
Machine Intelligence 5, Edinburgh:Edinburgh University Press, 1970.

HPP-69-3 (AIM-102), Donald A. Waterman, "Generalization Learning
Techniques for Automating the Learning of Heuristics", in Artificial
Intelligence, 1, 121, July 1969.

HPP-69-4 (AIM-104), Joshua Lederberg, Georgia Sutherland and Bruce G.
Buchanan, "A Heuristic Program for Solving a Scientific Inference Problem:
Summary of Motivation and Implementation", in R. Banerji and Mesarovic
(eds.), Theoretical Approaches to Non-Numerical Problem Solving, New
York:Springer-Verlag, 1970.

HPP-69-5, J. Lederberg, "Topology of Molecules", in The Mathematical
Sciences - A Collection of Essays, edited by the Nationl Research
Council's Committee on Support of Research in the Mathematical Sciences
(COSRIMS), Cambridge, Mass.:The M.I.T. Press, 1969, p.37.

HPP-69-6, J. Lederberg, G.L. Sutherland, B.G. Buchanan, E.A. Feigenbaum,
A.V. Robertson, A.M. Duffield and C. Djerassi, "Applications of Artificial
Intelligence for Chemical Inference I.  The Number of Possible Organic
Compounds: Acyclic Structures Containing C, H, O and N"; Journal of the
American Chemical Society, 91, 2973, 1969.

HPP-69-7, A.M. Duffield, A.V. Robertson, C. Djerassi, B.G. Buchanan G.L.
Sutherland, E.A. Feigenbaum and J. Lederberg, "Application of Artificial
Intelligence for Chemical Inference II.  Interpretation of Low Resolution
Mass Spectra of Ketones", Journal of the American Chemical Society, 91, 11
May 1969.

HPP-69-8, C.W. Chruchman and B.G. Buchanan, "On the Design of Inductive
Systems: Some Philosophical Problems", British Journal for the Philosophy
of Science, 20, 311, 1969.

HPP-69-9, G. Schroll, A.M. Duffield, C. Djerassi, B.G. Buchanan, G.L.
Sutherland, E.A. Feigenbaum and J. Lederberg, "Application of Artificial
Intelligence for Chemical Inference III.  Aliphatic Ethers Diagnosed by
Their Low Resolution Mass Spectra and NMR Data", Journal of the American
Chemical Society, 91, 7440, 1969.

HPP-70-1, A. Buchs, A.B. Delfino, C. Djerassi, A.M. Duffield, B.G.
Buchanan, E.A. Feigenbaum, J. Lederberg and G. Schroll, "Application of
Artificial Intelligence for Chemical Inference IV.  Saturated Amines
Diagnosed by Their Low Resolution Mass Spectra and Nuclear Magnetic
Resonance Spectra", Journal of the American Chemical Society, 92, 6831,
1970.

HPP-70-2 (AIM-123), Bruce G. Buchanan and Thomas E. Hedrick, "Some
Speculation About Artificial Intelligence and Legal Reasoning", Stanford
Law Review, 23, 40, November 1970.

HPP-70-3, Y.M. Sheikh, A. Buchs, A.B. Delfino, G. Schroll, A.M. Duffield,
C. Djerassi, B.G. Buchanan, G.L. Sutherland, E.A. Feigenbaum and J.
Lederberg, "Applications of Artificial Intelligence for Chemical Inference
V.  An Approach to the Computer Generation of Cyclic Structures.
Differentiation Between All The Possible Isomeric Ketones of Composition
C↓6H∪[10]O", Organic Mass Spectrometry, 4, 493, 1970.

HPP-70-4, A. Buchs, A.B. Delfino, A.M. Duffield, C. Djerassi, B.G.
Buchanan, E.A. Feigenbaum and J. Lederberg, "Applications of Artificial
Intelligence for Chemical Inference VI.  Approach to a General Method of
Interpreting Low Resolution Mass Spectra with a Computer", Helvetica
Chimica Acta, 53, 1394, 1970.

HPP-70-5 (AIM-131, STAN-CS-70-176, AD715128), Edward A. Feigenbaum, Bruce
G. Buchanan and Joshua Lederberg, "On Gererality and Problem Solving: a
Case Study Using the DENDRAL Program", in B. Meltzer and D. Michie (eds.),
Machine Intelligence 6, Edinburgh:Edinburgh University Press, 1971.

HPP-70-6, B. G. Buchanan, G. L. Sutherland and E. A. Feigenbaum,
"Rediscovering some Problems of Artificial Intelligence in the Context of
Organic Chemistry", Machine Intelligence 5, 253, Edinburgh:Edinburgh
University Press, 1970.

HPP-71-1, A. Buchs, A.B. Delfino, C. Djerassi, A.M. Duffield, B.G.
Buchanan, E.A. Feigenbaum, J. Lederberg, G. Schroll and G.L. Sutherl,
"Applications of Artificial Intelligence for Chemical Inference VII.  The
Application of Artificial Intelligence in the Interpretation of
Low-Resolution Mas Spectra", Advances in Mass Spectrometry, 5, 314, 1971.

HPP-71-2 (AIM-141, STAN-CS-71-216, AD732457), Bruce G. Buchanan and Joshua
Lederberg, "The Heuristic DENDRAL Program for Explaining Empirical Data",
in Proceedings of the IFIP Congress 71, Ljubljan, Yugoslavia, February
1971.

HPP-71-3 (AIM-147, STAN-CS-71-216), Robert E. Kling, "Reasoning by Analogy
with Applications to Heuristic Problem Solving:  a Case Study", Ph.D.
Thesis in Computer Science, August 1971.

HPP-71-4 (AIM-145), B.G. Buchanan, E.A. Feigenbaum and J. Lederberg, "A
Heuristic Programming Study of Theory Formation in Science", in
Proceedings of the Second International Joint Conference on Artificial
Intelligence, Imperial College, London, 1971.

HPP-71-5, B.G. Buchanan, A.M. Duffield and A.V. Robertson, "An Application
of Artificial Intelligence to the Interpretation of Mass Spectra", in
G.W.A.  Milide (ed.), Mass Spectrometry Techniques and Applications, New
York:Wiley, 1971, p.121.

HPP-72-1, D.H. Smith, B.G. Buchanan, R.S. Engelmore, A.M. Duffield, A.
Yeo, E.A. Feigenbaum, J. Lederberg and C. Djerassi, "Applications of
Artificial Intelligence for Chemical Inference VIII.  An Approach to the
Computer Interpretation of the High Resolution Mass Spectra of Complex
Molecules.  Structure Elucidation of Estrogenic Steroids", Journal of the
American Chemical Society, 94, 5962, 1972.

HPP-72-2, B.G. Buchanan, E.Z. Feigenbaum and N.S. Sridharan, "Heuristic
Theory Formation: Data Interpretation and Rule Formation", In B. Meltzer
and D. Michi (eds.), Machine Intelligence 7, Edinburgh:Edinburgh
University Press, 1972.

HPP-72-3 (AIM-181, STAN-CS-72,325), Bruce G. Buchanan, "Review of Hubert
Dreyfus' "What Computers Can't Do": a Critique of Artificial Reason",
Computing Reviews, January 1973.

HPP-72-4, J. Lederberg, "Rapid Calculation of Molecular Formulas from Mass
Values", Journal of Chemical Education, 49, 613, 1972.

HPP-72-5, Joshua Lederberg, "Use of a Computer to Identify Unknown
Compounds:  The Automation of Scientific Inference", in George R. Waller
(ed.), Biochemical Applications of Mass Spectrometry, New
York:Interscience, 1972.

HPP-72-6 (STAN-CS-72-318), H. Brown, L. Hjelmeland and L. Masinter,
"Constructive Graph Labeling Using Double Cosets", Discrete Mathematics,
7, 1, 1974.

HPP-73-1, D.H. Smith, B.G. Buchanan, R.S. Engelmore, H. Aldercreutz and C.
Djerassi, "Applications of Artificial Intelligence for Chemical Inference
IX.  Analysis of Mixtures without Prior Separation as Illustrated for
Estrogens", Journal of the American Chemical Society, 95, 6078, 1973.

HPP-73-2, D.H. Smith, B.G. Buchanan, W.C. White, E.A. Feigenbaum, C.
Djerassi and J. Lederberg, "Applications of Artificial Intelligence for
Chemical Inference X.  INTSUM.  A Data Interpretation Program as Applied
to the Collected Mass Spectra of Estrogenic Steroids", Tetrahedron, 29,
3117, 1973.

HPP-73-3 (STAN-CS-73-361), Harold Brown and Larry Masinter, "An Algorithm
for the Construction of the Graphs of Organic Molecules", Discrete
Mathematics, 8, 227, 1974.

HPP-73-4 (AIM-205, STAN-CS-73-370, AD764288), N.S. Sridharan et al., "A
Heuristic Program to Discover Synthesis for Complex Organic Molecules",
June 1973.

HPP-73-5 (STAN-CS-73-381), N.S. Sridharan, "Computer Generation of Vertex
Graphs" (working paper), July 1973.

HPP-73-6, R. Carhart and C. Djerassi, "Applications of Artificial
Intelligence for Chemical Inference XI.  The Analysis of C13 NMR Data for
Structure Elucidation of Acyclic Amines", Journal of the American Chemical
Society (Perkin II), 2, 1753, 1973.

HPP-73-7 (AIM-215, STAN-CS-73-387, AD769380), B.G. Buchanan and N.S.
Sridharan, "Analysis of Behavior of Chemical Molecules: Rule Formation on
Non-Homogeneous Classes of Objects", in Proceedings of the Third
International Joint Conference on Artificial Intelligence, Stanford,
California, August 1973.

HPP-73-8, D. Michie and B.G. Buchanan, "Current Status of the Heuristic
DENDRAL Program for Applying Artificial Intelligence to the Interpretation
of Mass Spectra", in R.A.G. Carrington (ed.), Computers for Spectroscopy,
London:Adam Hilger, 1974.  Also University of Edinburgh School of
Artificial Intelligence, Exp. Prog. Report No. 32, 1978.

HPP-73-9 (AIM-217, STAN-CS-73-391, AD770610), N.S. Sridaran, "Search
Strategies for the Task of Organic Chemical Synthesis", August 1973.

HPP-73-10, E.H. Shortliffe, S.G. Axline, B.G. Buchanan, T.C. Merigan, and
S.N. Cohen, "An Artificial Intelligence Program to Advise Physicians
Regarding Antimicrobial Therapy", Computers and Biomedical Research, 6,
544, 1973.

HPP-73-11 (AIM-216, STAN-CS-73-389, AD71299), Larry Masinter, N.S.
Sridharan, J. Lederberg and D.H. Smith, "Applications of Artificial
Intelligence for Chemical Inference XII.  Exhaustive Generation of Cyclic
and Acyclic Isomers", in Journal of the American Chemical Society, 96,
7702, 1974.

HPP-74-1, E.H. Shortliffe, S.G. Axline, B.G. Buchanan and S.N. Cohen,
"Design Considerations for a Program to Provide Consultations in Clinical
Therapeutics", in Proceedings of San Diego Biomedical Symposium, February
1974.

HPP-74-2 (AIM-251, STAN-CS-74-465, AD-A001 373), Edward H. Shortliffe,
"MYCIN:  A Rule-Based Computer Program for Advising Physicians Regarding
Antimicrobial Therapy Selection", Ph.D. Thesis in Medical Information
Sciences, October 1974.  Also in Computer-Based Medical Consultations:
MYCIN, New York:American Elsevier, 1976.

HPP-74-3, B.G. Buchanan, "Scientific Theory Formation by Computer", in
T.C. Simon (ed.), Computer Aided Learning Processes, Nato Advanced Study
Institutes Series, Series E: Applied Science, 14, 515, Leyden:Noordhoff,
1976.  Also appeared in NATO Adv. Study Inst. on Computer Oriented
Learning Proc., Bonas, France, 1974.

HPP-74-4, E.A. Feigenbaum, "Computer Applications: Introductory Remarks",
in Proceedings of Federation of American Societis for Experimental
Biology, 33, 2331, 1974.

HPP-74-5, L.M. Masinter, N.S. Sridharan, R.E. Carhart and D.H. Smith,
"Applications of Artificial Intelligence for Chemical Inference XIII.
Labeling of Objects Having Symmetry1,2", Journal of the American Chemical
Society, 96, 7714, 1974.

HPP-74-6, Dennis H. Smith, Larry M. Masinter and Natesa S. Sridharan,
"Heuristic DENDRAL: Analysis of Molecular Structure", in W.T. Wipke, S.
Heler, R. Feldmann and E. Hyde (eds.), Computer Representation and
Manipulation of Chemical Information, New York:Wiley, 1974.

HPP-74-7 (STAN-CS-74-469), Harold Brown, "Molecular Structure Elucidation
III", SIAM Journal of Applied Math, 32, 3, May 1977, p.534.

HPP-75-1, E.H. Shortliffe and B.G. Buchanan, "A Model of Inexact Reasoning
in Medicine", Mathematical Biosciences, 23, 351, 1975.

HPP-75-2, E.H. Shortliffe, R. Davis, S.G. Axline, B.G. Buchanan, C.C.
Green and S.N. Cohen, "Computer-Based Consultations in Clinial
Therapeutics; Explanation and Rule Acquisition Capabilities of the MYCIN
System", Computers and Biomedical Research, 8, 303, August 1975.

HPP-75-3, E.H. Shortliffe, F.S. Rhame, S.G. Axline, S.N. Cohen, B.G.
Buchanan, R. Davis, A.C. Scott, R. Chavez-Pardo and W.J. Van Melle,
"MYCIN: A Computer Program Providing Antimicrobial Therapy
Recommendations", Clinical Medicine, August 1975.

HPP-75-4, E.H. Shortliffe, "Judgmental Knowledge as a Basis for
Computer-Assisted Clinical Decision Making", in Proceedings of the 1975
International Conference on Cybernetics and Society, September 1975.

HPP-75-5, E.H. Shortliffe, S. Axline, B.G. Buchanan, R. Davis and S.
Cohen, "A Computer-Based Approach to the Promotion of Rational Clinical
Use of Antimicrobials", in William A. Gouveia, Gianni Tognoni, and Eppo
van der Kleijn (eds.), Clinical Pharmacy and Clinical Pharmacology, New
York:Elsevier/North-Holland Publishing Company, 1976.

HPP-75-6 (AIM-266, STAN-CS-75-519, AD-A019 641), Randall Davis, Bruce
Buchanan and Edward Shortliffe, "Production Rules as a Representation of a
Knowledge-Based Consultation Program", in Artificial Intelligence, 8, 1,
February 1977.

HPP-75-7 (AIM-271, STAN-CS-75-524, AD-A019 702/OWC), Randall Davis and
Jonathan King, "An Overview of Production Systems", in E.W. Elcock and
Donald Michie (eds.), Machine Intelligence 8; Machine Representations of
Knowledge, Chichester, England:Ellis Horwood Ltd., 1977.

HPP-75-8, R.G. Dromey, B.G. Buchanan, J. Lederberg and C. Djerassi and D.
H. Smith, "Applications of Artificial Intelligence for Chemical Inference
XIV.  A General Method for Predicting Molecular Ions in Mass Spectra",
Journal of Organic Chemistry, 40, 770, 1975.

HPP-75-9, D.H. Smith, "Applications of Artificial Intelligence for
Chemical Inference XV.  Constructive Graph Labelling Applied to Chemical
Problems.  Chlorinated Hydrocarbons", Analytical Chemistry, 47, 1176,
1975.

HPP-75-10, R.E. Carhart, D.H. Smith, H. Brown and N.S. Sridharan,
"Applications of Artificial Intelligence for Chemical Inference XVI.
Computer Generation of Vertex Graphs and Ring Systems", Journal of
Chemical Information and Computer Science, 15, 124, 1975.

HPP-75-11, R.E. Carhart, D.H. Smith, H. Brown and C. Djerassi,
"Applications of Artificial Intelligence for Chemical Inference XVII.  An
Approach to Computer-Assisted Elucidation of Molecular Structure", Journal
of the American Chemical Society, 97, 5755, 1975.

HPP-75-12, E.H. Shortliffe, S.G. Axline, B.G. Buchanan, R. Davis and S.N.
Cohen, "Computer-Assisted Consultations Regarding the Antimicrobial
Treatment of Bacteremia", Journal @@ , May 1975.

HPP-75-13, B.G. Buchanan, "Applications of Artificial Intelligence to
Scientific Reasoning", in Proceedings of Second USA-Japan Computer
Conference, American Federation of Information Processing Societies Press,
August 1975.

HPP-75-14, R.E. Carhart, S.M. Johnson, D.H. Smith, B.G. Buchanan, R.G.
Dromey, and J. Lederberg, "Networking and a Collaborative Research
Community: A Case Study Using the DENDRAL Programs", in P. Lykos (ed.),
Computer Networking and Chemistry, Washington, D.C.:American Chemistry
Society, 1975.

HPP-75-15, D.H. Smith, "Applications of Artificial Intelligence for
Chemical Inference XVIII.  The Scope of Structural Isomerism", Journal of
Chemical Information and Computer Sciences, 15, 203, 1975.

HPP-75-16, E.H. Shortliffe and R. Davis, "Some Considerations for the
Implementation of Knowledge-Based Expert Systems", SIGART Newsletter, 55,
9, December 1975.

HPP-76-1, D.H. Smith, J.P. Konopelski and C. Djerassi, "Applications of
Artificial Intelligence for Chemical Inference XIX.  Computer Generation
of Ion Structures", Organic Mass Spectrometry, 11, 86, 1976.

HPP-76-2, Raymond E. Carhart and Dennis H. Smith, "Applications of
Artificial Intelligence for Chemical Inference XX.  Intelligent Use of
Constraints in Computer-Assisted Structure Elucidation", Computers in
Chemistry, 1,79, 1976.

HPP-76-3, C.J. Cheer, D.H. Smith, C. Djerassi, B. Tursch, J.C. Braekman
and D. Daloze, "Applications of Artificial Intelligence for Chemical
Inference XXI.  Chemical Studies of Marine Interbrates - XVII.  The
Computer-Assisted Identification of [+]-Palostrol in the Marine Organism
Cespitularia sp., aff. subviridis", Tetrahedron, 32, 1807, 1976.

HPP-76-4, B.G. Buchanan, D.H. Smith, W.C. White, R.J. Gritter, E.A.
Feigenbaum, J. Lederberg and Carl Djerassi, "Applications of Artificial
Intelligence for Chemical Inference XXII.  Automatic Rule Formation in
Mass Spectrometry by Means of the Meta-DENDRAL Program", Journal of the
American Chemical Society, 98,6168, 1976.

HPP-76-5, T.H. Varkony, R.E. Carhart and D.H. Smith, "Applications of
Artificial Intelligence for Chemical Inference XXIII.  Computer-Assisted
Structure Elucidation.  Modelling Chemical Reaction Sequences Used in
Molecular Structure Programs", in W.T. Wipke (ed.), Computer-Assisted
Organic Synthesis, Washington, D.C.:American Chemical Society, 1977.

HPP-76-6, D.H. Smith and R.E. Carhart, "Applications of Artificial
Intelligence for Chemical Inference XXIV.  Structural Isomerism of Mono
and Sesquiterpenoid Skeletons 1,2-,", Tetrahedron, 32, 2513, May 1976.

HPP-76-7 (AIM-283, STAN-CS-76-552), Randall Davis, "Applications of Meta
Level Knowledge to the Construction, Maintenance and Use of Large
Knowledge Bases", Ph.D. Thesis in Computer Science, July 1976.

HPP-76-8 (AIM-286, STAN-CS-76-570), Douglas Lenat, "AM:  An Artificial
Intelligence Approach to Discovery in Mathematics as Heuristic Search",
Ph.D. Thesis in Computer Science, July 1976.

HPP-76-9 (AIM-291 STAN-CS-76-577), Bruce G. Buchanan, Joshua Lederberg and
John McCarthy, "Three Reviews of J. Weizenbaum's Computer Power and Human
Reason", November 1976.

HPP-76-10, Bruce G. Buchanan and Dennis Smith, "Computer Assisted Chemical
Reasoning", in E.V. Ludena, N.H. Sabelli and A.C. Wahl (eds.), Computers
in Chemical Education and Research, New York:Plenum Press, 1977, p.401.

HPP-76-11, Raymond E. Carhart, "A Model-Based Approach to the Teletype
Printing of Chemical Structures", Journal of Chemical Information and
Computer Sciences, 16, 82, 1976.

HPP-77-1 (STAN-CS-77-593), A.C. Scott, W. Clancey, R. Davis and E.H.
Shortliffe, "Explanation Capabilities of Knowledge-Based Production
Systems", American Journal of Computational Linguistics, Microfiche 62,
Knowledge-Based Consultation Systems, 1977.

HPP-77-2 (STAN-CS-77-589), Robert S. Engelmore and H. Penny Nii, "A
Knowledge-Based System for the Interpretation of Protein X-Ray
Crystallographic Data" (working paper), January 1977.

HPP-77-3, B.G. Buchanan, R. Davis, V. Yu and S. Cohen, "Rule Based Medical
Decision Making by Computer", Proceedings of MEDINFO.77, Tronto, 1977.

HPP-77-4, T.M. Mitchell and G.M. Schwenzer, "Applications of Artificial
Intelligence for Chemical Inference XXV.  A Computer Program for Automated
Empirical 13C NMR Rule Formation", Organic Magnetic Resonance,
forthcoming.

HPP-77-5 (STAN-CS-77-596), Mark Stefik and Nancy Martin, "A Review of
Knowledge-Based Systems as a Basis for a Genetics Experiment Designing
System" (working paper), February 1977.

HPP-77-6 (STAN-CS-77-597), Bruce G. Buchanan and Tom Mitchell,
"Model-Directed Learning of Production Rules", in D.A. Waterman and F.
Hayes-Roth (eds.), Pattern-Directed Inference Systems, New York:Academic
Press.

HPP-77-7 (STAN-CS-77-612), H. Penny Nii and Edward A. Feigenbaum,
"Rule-Based Understanding of Signals", Proceedings of Pattern-Directed
Inference Systems, May 1977.

HPP-77-8, R. Davis, "Knowledge Acquisition on Rule-Based Systems:
Knowledge about Representations as a Basis for System Construction and
Maintenance", Proceedings of Pattern-Directed Inference, May 1977.

HPP-77-9, R. Davis, "Interactive Transfer of Expertise I:  Acquisition of
New Inference Rules", Proceedings of Fifth IJCAI, 1, 321, August 1977.

HPP-77-10, R. Davis, "A Decision Support System for Medical Diagnosis and
Therapy Selection in Data Base", SIGBDP Newsletter, 8, 58, Winter, 1977.

HPP-77-11, Dennis H. Smith and Raymond E. Carhart, "Structure Elucidation
Based on Computer Analysis of High and Low Resolution Mass Spectral Data",
in M.L. Gross (ed.), in Symposium on Chemical Applications of High
Performance Spectrometry, Washington, D.C.:American Chemical Society,
1978.

HPP-77-12, Reid G. Smith, "The Contract Net:  A Formalism for the Control
of Distributed Problem Solving", Proceedings of the Fifth IJCAI, 1, 472,
August 1977.

HPP-77-13, Tom M. Mitchell, "Version Spaces: A Candidate Elimination
Approach to Rule Learning", Proceedings of the Fifth IJCAI, 1, 305, August
1977.

HPP-77-14, Reid G. Smith, Tom M. Mitchell, Richard A. Chestek and Bruce G.
Buchanan, "A Model for Learning Systems", Proceedings of the Fifth IJCAI,
1, 338, August 1977.

HPP-77-15, E.A. Feigenbaum, R.S. Engelmore and C.K. Johnson, "A
Correlation Between Crystallographic Computing and Artificial
Intelligence", in Acta Crystallographica, A33, 13, 1977.

HPP-77-16, Randall Davis and Bruce G. Buchanan, "Meta-Level Knowledge:
Overview and Applications", Proceedings of the Fifth IJCAI, 1, 920, August
1977.

HPP-77-17, Bruce G. Buchanan, "Heuristic DENDRAL:  A Short Summary"
(working paper), (class notes for CS 224, Spring 1977).

HPP-77-18, Jerry Feitelson and Mark Stefik, "A Case Study of the Reasoning
in a Genetics Experiment" (working paper), April 1977.

HPP-77-19, N. Martin, P. Friedland, J. King and M.J. Stefik, "Knowledge
Base Management for Experiment Planning in Molecular Genetics",
Proceedings of the Fifth IJCAI, 1, 882, August 1977.

HPP-77-20, Gretchen M. Schwenzer and Tom M. Mitchell, "Computer Assisted
Structure Elucidation Using Automatically Acquired 13C NMR Rules", in D.
Smith (ed.), Computer Assisted Structure Elucidation, ACS Symposium
Series, Vol. 54:58, 1977.

HPP-77-21, Hector Garcia-Molina and Gio Wiederhold, "Application of the
Contract Net Protocol to Distributed Data Bases" (working paper), April
1977.

HPP-77-22, Gretchen M. Schwenzer, "Applications of Artificial Intelligence
for Chemical Inference XXVI.  Analysis of C-13 NMR for Mono-Hydroxy
Steroids Incorporating Geometric Distortions", Journal of Organic
Chemistry, Vol. 43, 1079, 1978.

HPP-77-23, James G. Nourse, "Gereralized Stereoisomerization Modes",
Journal of the American Chemical Society, 99, 2063, 1977.

HPP-77-24, Kent Morrill, Dennis H. Smith and Carl Djerassi,
"Computer-Assisted Analysis of the High Resolution Mass Spectra of
Macrolide Antibiotics", submitted for publication.

HPP-77-25, Edward A. Feigenbaum, "The Art of Artificial Intelligence: 1.
Themes and Case Studies of Knowledge Engineering", Proceedings of the
Fifth IJCAI, 1, 1014, August 1977.

HPP-77-26, Thomas H. Varkony, Raymond E. Carhart and Dennis H. Smith,
"Computer Assisted Structure Elucidation, Ranking the Candidate
Structures, Based on Comparison Between Predicted and Observed Mass
Spectra", in Proceedings of the 25th Annual Conference on Mass
Spectrometry and Allied Topics, Washington, D.C., 1977.

HPP-77-27, Hector Garcia-Molina, "Overview and Bibliography of Distributed
Data Bases", 1977.

HPP-77-28 (STAN-CS-77-618), Nils J. Nilsson, "A Production System for
Automatic Deduction", Machine Intelligence 9, 1977.

HPP-77-29, Edward H. Shortliffe, "A Rule-Based Approch to the Generation
of Advice and Explanation in Clinical Medicine", August 1977.

HPP-77-30, Edward H. Shortliffe, "Clinical Decisions Based on
Physician-Computer Interactions:  A Symbolic Reasoning Approach",
presented at the Symposium on Making and Using Medical Decisions, Annual
Meeting Society for Computer Medicine, November, 1977.

HPP-77-31, Kjell G. Knutsen, "Some Issues in the Design of Large
Multi-Microprocessor Networks" (working paper), 1977.

HPP-77-32, Edward H. Shortliffe, "MYCIN:  A Knowledge-Based Computer
Program Applied to Infectious Diseases", presented at the First Annual
Symposium on Computer Application in Medical Care, Washington, D.C.,
October 1977.

HPP-77-33, Randal Davis, "Generalized Procedure Calling and
Content-Directed Invocation", in the Proceedings of Artificial
Intelligence and Programming Languages Conference, Published as
SIGART/SIGPLAN Combined Issue, August 1977, pp. 45-54.

HPP-77-34, Thomas Varkony, Dennis Smith and Carl Djerassi,
"Computer-Assisted Structure Manipulation:  Studies in the Biosynthesis of
Natural Products", Tetrahedron, forthcoming.

HPP-77-35, R.G. Dromey, Mark J. Stefik, Thomas C. Rindfleisch and Alan M.
Duffield, "Extraction of Mass Spectra Free of Background and Neighboring
Component Contributions from Gas Chromatography/Mass Spectrometry Data",
Analytical Chemistry, 48, 1368, 1976.

HPP-77-36, Bruce G. Buchanan, "Issues of Representation in Conveying the
Scope and Limitations of Intelligent Assistant Programs" (working paper),
1977.

HPP-77-37, Avron Barr, "Meta-Knowldge and Memory" (working paper),
November 1977.

HPP-77-38, Annemarie Wegmann, "Variations in Mass Spectral Fragmentation
Produced by Active Sites in a Mass Spectrometer Source", (submitted to
Analytical Chemistry), 1977.

HPP-77-39, Bruce G. Buchanan, Tom M. Mitchell, Reid G. Smith and C.
Richard Johnson, Jr., "Models of Learning Systems", STAN-CS-78-692, in
Truelsen (ed.), Encyclopedia of Computer Science, New York, 1978.

HPP-78-1 (STAN-CS-77-649), Bruce G. Buchanan and Edward A. Feigenbaum,
"DENDRAL and Meta-DENDRAL:  Their Applications Dimension", Stanford
University, 1978.

HPP-78-2, Reid G. Smith, "Issues in Distributed Sensor Net Design"
(working paper), January 1978.

HPP-78-3, Mark Stefik, "Inferring DNA Structures from Segmentation Data:
A Case Study", (submitted to Artificial Intelligence).

HPP-78-4, Hector Garcia-Molina, "Distributed Database Coupling" (working
paper), March 1978.

HPP-78-5, never used.

HPP-78-6, Hector Garcia-Molina, "Performance Comparison of Update
Algorithms for Distributed Data Bases" (working paper), 1978.

HPP-78-7 (STAN-CS-78-667), Reid G. Smith and Randal Davis, "Distributed
Problem Solving:  The Contract Net Approach", June 1978.

HPP-78-8, James G. Nourse, "The Configuration Symmetry Group and its
Application to Stereoisomer Generation, Specification and Enumeration",
1978.

HPP-78-9, J. Nourse, R. Carhart, D. H. Smith and C. Djerassi, "Exhaustive
Generation of Stereoisomers for Structure Elucidation", 1978.

HPP-78-10 (STAN-CS-78-668), Alain Bonnet, "BAOBAB, A Parser for a
Rule-Based System Using a Semantic Grammar", June 1978.

HPP-78-11, R. Carhart, "Erroneous Claims Concerning Perception of
Topological Symmetry", Journal of Chemical Infformation and Computer
Science, 18, 1978.

HPP-78-12, Allan Terry and R. Engelmore, "Design and Evaluation of First
Crysalis System" (working paper), July 1978.